Modal and Non Modal Qualitative Spatial Logics
نویسنده
چکیده
In this paper we review previous work on non modal spatial logics and explore a corresponding modal spatial logic. Furthermore we present an initial classication of kinds of spatially indexed propositions.
منابع مشابه
Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning
We propose in this paper to construct modal logics based on mathematical morphology. The contribution of this paper is twofold. First we show that mathematical morphology can be used to define modal operators in the context of normal modal logics. We propose definitions of modal operators as algebraic dilations and erosions, based on the notion of adjunction. We detail the particular case of mo...
متن کاملModal Logics for Qualitative Spatial Reasoning
Spatial reasoning is essential for many AI applications. In most existing systems the representation is primarily numerical, so the information that can be handled is limited to precise quantitative data. However, for many purposes the ability to manipulate high-level qualitative spatial information in a exible way would be extremely useful. Such capabilities can be proveded by logical calculi;...
متن کاملOn Modal Logics for Qualitative Possibility in a Fuzzy Setting
Within the possibilistic approach to uncer tainty modeling, the paper presents a modal logical system to reason about qualitative (comparative) statements of the possibility (and necessity) of fuzzy propositions. We re late this qualitative modal logic to the many valued analogues MVS5 and MVKD45 of the well known modal logics of knowledge and be lief 55 and KD45 respectively. Completeness ...
متن کاملA Structural Property on Modal Frames Characterizing Default Logic
Spatial reasoning is essential for many AI applications. In most existing systems the representation is primarily numerical, so the information that can be handled is limited to precise quantitative data. However, for many purposes the ability to manipulate high-level qualitative spatial information in a exible way would be extremely useful. Such capabilities can be proveded by logical calculi;...
متن کاملThe modal multilogic of geometry
A spatial logic is a modal logic of which the models are the mathematical models of space. Successively considering the mathematical models of space that are the incidence geometry and the projective geometry, we will successively establish the language, the semanti-cal basis, the axiomatical presentation, the proof of the decidability and the proof of the completeness of INC, the modal multilo...
متن کامل